#include "kstd.h"
#include "stdio.h"

void dummy_syscall(void)
{
  printf("Unhandled syscall.");
}

const void* syscall_table[16] = {
  write,
  dummy_syscall,
  getkey,
  gettick,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  setvideo,
  swap_frontbuffer,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  dummy_syscall,
  /*sbrk,
  getkey,
  gettick,
  open,
  read,
  seek,
  close,
  setvideo,
  swap_frontbuffer,
  getpalette,
  setpalette,
  playsound,
  getmouse,
  send,
  recv*/
};

